$\forall$$A$:Type, ${\it as}$:($A$ List), $n$:int\_iseg(0; $\parallel$${\it as}$$\parallel$). $\parallel$nth\_tl($n$;${\it as}$)$\parallel$ = ($\parallel$${\it as}$$\parallel$ {-} $n$)